Artifact-Centric Choreographies
نویسندگان
چکیده
Classical notations for service collaborations focus either on the control flow of participating services (interacting models) or the order in which messages are exchanged (interaction models). None of these approaches emphasizes the evolution of data involved in the collaboration. In contrast, artifact-centric models pursue the converse strategy and begin with a specification of data objects. This paper extends existing concepts for artifact-centric business process models with the concepts of agents and locations. By making explicit who is accessing an artifact and where the artifact is located, we are able to automatically generate an interaction model that can serve as a contract between the agents and by construction makes sure that specified global goal states on the involved artifacts are reached.
منابع مشابه
Artifact-Centric Modeling Using BPMN
BPMN offers a rich pool of language constructs to model different aspects of choreographies, interorganizational business processes and service compositions. With collaborations and choreographies, BPMN enables the modeler concentrate on the control flow and the message flow, respectively. At the same time, data flow is only treated as a subordinate extension. In contrast, recent artifact-centr...
متن کاملDeclarative Choreographies for Artifacts
A choreography models a collaboration between multiple participants. Existing choreography specification languages focus mostly on message sequences and are weak in modeling data shared by participants and used in sequence constraints. They also assume a fixed number of participants and make no distinction between participant type and participant instances. Artifact-centric business process mod...
متن کاملMany-to-Many: Some Observations on Interactions in Artifact Choreographies
Artifacts have been proposed as basic building blocks for complex processes that are driven by life-cycle aware data objects. An artifact choreography describes the interplay of several artifacts from which the process “emerges”. By design, an artifact choreography is tightly coupled to the process’ underlying data model which gives rise to complex interactions between artifacts. This paper pre...
متن کاملA Survey on Approaches to Modeling Artifact-Centric Business Processes
Business Process Modeling using artifact-centric approach has gained increasing interest over the past few years. The ability to put data and process aspects on an equal footing has made it a powerful tool for efficient business process modeling. The artifact-centric approach is based on key business-relevant entities called business artifacts, which are central for guiding business operations ...
متن کاملDecidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Artifact-Centric Systems are a novel paradigm in service-oriented computing. In the present contribution we show that model checking bounded, nonuniform artifact-centric systems is undecidable. We provide a partial model checking procedure for artifact-centric systems against the universal fragment of a first-order version of the logic CTL. We obtain this result by introducing a counterpart sem...
متن کامل